home *** CD-ROM | disk | FTP | other *** search
/ Developer Source 6 / developer source - volume 6.iso / ieeex / aug96 / lee0f110.gif < prev    next >
Graphics Interchange Format  |  1997-01-16  |  33.9 KB  |  655x231  |  4-bit (13 colors)
   ocr: TASK:Configure-a-Module) - (domain-model) 1 (etate-model)-. precondition)-. protection)-t. postcondition) - - (C5e)-1<<7>>-915TART) me<<transition>>-10171 wo<<transition>> : (e(,J1-(final)l T,! - T,) LE(NEG)- >tB11l1?1 compatible) (Pal.. ((Current-Module) Current-Backplanell (configured-into)- (Til. - : TASK:Configure-a-Model) (Tal... TASK:Find-ad-a-Backplane-Sultable-Ior-current-Model) Figure 10. The conceptucl graph: specification of a TSE for thet task Configure-a-Module.